1. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
2. Algorithmic properties of structures
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Data structures )Computer science(,، Computer algorithms,، Galois theory
رده :
QA
76
.
9
.
D35
E54
3. Algorithmic properties of structures
پدیدآورنده : Selected papers of Erwin Engeler
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algorithms
رده :
TA
349
.
A69
1993
4. Foundations of mathematics :
پدیدآورنده : Erwin Engeler
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
8
E795
2012
5. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E54
1993
6. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E5413
1993
7. Introduction to the theory of computation
پدیدآورنده : Engeler Erwin,Title
موضوع : Sequential machine theory,Recursive functions,Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Logic of Programs :
پدیدآورنده : edited by Erwin Engeler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic design.
9. Logic of programs; Workshop, ETH Zurich, May-July, 1979
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic circuits-- Congresses,، Electronic digital computers-- Circuits-- Congresses
رده :
TK
7888
.
4
.
L61
1979
10. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
11. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
12. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
13. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
14. The Combinatory Programme
پدیدآورنده : by Erwin Engeler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis.,Computer science -- Mathematics.,Computer science.
رده :
QA9
.
5
B947
1995
15. The Combinatory programme
پدیدآورنده : / edited by Erwin Engeler
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Combinatory logic
رده :
511
.
3
C731
16. The combinatory programme
پدیدآورنده : Erwin Engeler ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
C62
17. foundations of mathematics:questions of analysis,geometry and algorithms
پدیدآورنده : Erwin Engeler
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Mathematics
رده :
QA
9
.
8
.
E5413
1993
